2 results
12 - Some Applications of Prefix-Rewriting in Monoids, Groups, and Rings
- Edited by Michael Atkinson, University of St Andrews, Scotland, Nick Gilbert, Heriot-Watt University, Edinburgh, James Howie, Heriot-Watt University, Edinburgh, Steve Linton, University of St Andrews, Scotland, Edmund Robertson, University of St Andrews, Scotland
-
- Book:
- Computational and Geometric Aspects of Modern Algebra
- Published online:
- 06 July 2010
- Print publication:
- 15 June 2000, pp 150-191
-
- Chapter
- Export citation
-
Summary
Abstract. Rewriting techniques have been applied successfully to various areas of symbolic computation. Here we consider the notion of prefixrewriting and give a survey on its applications to the subgroup problem in combinatorial group theory. We will see that for certain classes of finitely presented groups finitely generated subgroups can be described by convergent prefix-rewriting systems, which can be obtained from a presentation of the group considered and a set of generators for the subgroup by a specialized Knuth-Bendix style completion procedure. In many instances a finite presentation for the subgroup considered can be constructed from such a convergent prefix-rewriting system, thus solving the subgroup presentation problem. Finally we will see that the classical procedures for computing Nielsen reduced sets of generators for a finitely generated subgroup of a free group and the Todd-Coxeter coset enumeration can be interpreted as particular instances of prefix-completion. Further, both procedures are closely related to the computation of prefix Gröbner bases for right ideals in free group rings.
INTRODUCTION
There is a recent shift in paradigm in mathematics, and in modern algebra in particular, from pure structural considerations back to the notion of computability, that is, one is not merely interested in the structural properties of the mathematical entities under consideration, but one wants to actually perform computations in these structures.
This development has been preceded by that in combinatorial group theory, where algorithmic questions have been of major concern since the beginning of the century. In 1911 Dehn formulated three fundamental decision problems for groups given in terms of generators and defining relations [Dehll], the most famous of which is the word problem.
22 - Gröbner Bases in Non-Commutative Reduction Rings
-
- By Klaus Madlener, Universität Kaiserslautern, Birgit Reinert, Universität Kaiserslautern
- Edited by Bruno Buchberger, Johannes Kepler Universität Linz, Franz Winkler, Johannes Kepler Universität Linz
-
- Book:
- Gröbner Bases and Applications
- Published online:
- 05 July 2011
- Print publication:
- 26 February 1998, pp 408-420
-
- Chapter
- Export citation
-
Summary
Abstract
Gröbner bases of ideals in polynomial rings can be characterized by properties of reduction relations associated with ideal bases. Hence reduction rings can be seen as rings with reduction relations associated to subsets of the ring such that every finitely generated ideal has a finite Gröbner basis. This paper gives an axiomatic framework for studying reduction rings including non-commutative rings and explores when and how the property of being a reduction rings is preserved by standard ring constructions such as quotients and sums of reduction rings, and polynomial and monoid rings over reduction rings.
Introduction
Reasoning and computing in finitely presented algebraic structures is wide-spread in many fields in mathematics, physics and computer science. Reduction in the sense of simplification combined with appropriate completion methods is one general technique which is often successfully applied in this context, e.g. to solve the word problem and hence to compute effectively in the structure.
One fundamental application of this technique to polynomial rings was provided by B. Buchberger (1965) in his uniform effective solution of the ideal membership problem establishing the theory of Gröbner bases. These bases can be characterized in various manners, e.g. by properties of a reduction relation associated with polynomials (confluence or all elements in the ideal reduce to zero) or by special representations for the ideal elements with respect to a Gröbner basis (standard representations).